ACI ROSSIGNOL Denis LUGIEZ www.cmi.univ-mrs.fr/ lugiez/aci-rossignol.html

Source URL: www.irisa.fr

• Security
• Dolev-Yao model
• Authentication protocol
• Cryptography
• Cryptographic nonce
• Communications protocol
• Authentication
• Π-calculus
• Cryptographic protocols
• Data
• Information

Efficient Set Operations in the Presence of Malicious Adversaries Carmit Hazay∗ Kobbi Nissim† November 25, 2010

Source URL: www.eng.biu.ac.il

• Computational complexity theory
• Secure multi-party computation
• Commitment scheme
• Homomorphic encryption
• Secure two-party computation
• Paillier cryptosystem
• Oblivious transfer
• Zero-knowledge proof
• Communication complexity
• Cryptography
• Cryptographic protocols
• Public-key cryptography

Secure Provision and Consumption in the Internet of Services FP7-ICT, ICTTrustworthy ICT) Project Nowww.spacios.eu

Source URL: www.spacios.eu

• Computing
• Communications protocol
• Yahalom
• Needham–Schroeder protocol
• Cryptographic protocols
• Data
• Information

On Designing Incentive-Compatible Routing and Forwarding Protocols in Wireless Ad-Hoc Networks — An Integrated Approach Using Game Theoretical and Cryptographic Techniques ∗

Source URL: www-net.cs.yale.edu

Complete Fairness in Secure Two-Party Computation S. Dov Gordon∗ Carmit Hazay† Jonathan Katz‡

Source URL: www.eng.biu.ac.il

• Secure multi-party computation
• Secure two-party computation
• PP
• Function
• Universal composability
• Cryptographic protocols
• Mathematics
• Applied mathematics

SPECIFICATION PROFILE BOKS SERVERCONTROL Fox Technologies, Inc. | www.foxt.com | |

Source URL: www.foxt.com

• BoKS
• Directory services
• Cryptographic software
• Computer network security
• Internet protocols
• Internet standards
• System software
• Software
• Computing

BRICS Basic Research in Computer Science BRICS RSCrazzolara & Winskel: Language, Semantics, and Methods for Cryptographic Protocols Language, Semantics, and Methods for

Source URL: www.brics.dk

Prudent Engineering Practice for Cryptographic Protocols Martn Abadi and Roger Needham November 1, 1995 Martn Abadi is at the Systems Research Center, Digital Equipment Corporation, 130 Lytton Avenue, Palo Alto, CA

Source URL: users.ece.cmu.edu

Abstract of “Static Analyses of Cryptographic Protocols” by Jay McCarthy, Ph.D., Brown University, May 2009 Most protocol analyses only address security properties. However, other properties are important and can inc

Source URL: jeapostrophe.github.io

Basing Cryptographic Protocols on Tamper-Evident Seals Tal Moran∗ Moni Naor∗† Abstract

Source URL: www.wisdom.weizmann.ac.il